Integration von Modellen in einen codebasierten Softwareentwicklungsprozess
نویسندگان
چکیده
Dieses Artikel beschreibt Konstellationen, unter denen Modelle und Quellcode innerhalb eines Projekts integrativ genutzt werden können. Ähnlich wie die in den Frühzeiten des Compilerbaus notwendige Integration von Hochsprachen und Assembler stellt ein solches Vorgehen einen wichtigen Zwischenschritt zu einer im Kern modellbasierten Softwareentwicklung dar. Anhand einer Fallstudie zu Statecharts wird beschrieben, wie das an der TU Braunschweig in Entwicklung befindliche Modellierungswerkzeug MontiCore genutzt werden kann, um Modelle effizient in einen agilen Softwareentwicklungsprozess zu integrieren.
منابع مشابه
Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System
Bei modellgetriebener Softwareentwicklung werden Modelle entwickelt und aus diesen ausführbare Software generiert. Durch die Verknüpfung mit formaler Verifikation können Fehler in den Modellen gefunden und so der Ansatz der modellgetriebenen Softwareentwicklung verbessert werden. Diese Arbeit untersucht anhand von zwei Fallstudien, wie aktuelle Forschungsergebnisse im Bereich der Modellierung u...
متن کاملEducational Effect of a Student Competition with Self-Driving Cars on Selected Software Engineering Topics
In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...
متن کاملDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...
متن کاملEine modellbasierte Architektur für den Useware-Engineering Prozess
Dieser Beitrag beschreibt einen Integrationsansatz des Usewareund Software-Engineering auf Basis einer modellbasierten Vorgehensweise zur Entwicklung von Benutzungsschnittstellen. Durch die Transformation von Modellen im Rahmen des Useware-Engineerings ist es möglich, ein Applikationsgerüst zu der Benutzungsschnittstelle zu generieren und durch Integration von Funktionen zu einer funktionsfähig...
متن کاملAnwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen
Dieser Beitrag definiert die formalen Grundlagen zur Anwendung von struktureller Nicht-Interferenz für die fundierte Petrinetz-basierte Sicherheitsanalyse von industriellen Workflow-Modellen und damit den ursprünglichen Geschäftsprozessen. Der Ansatz wird anhand eines Beispiels für einen eAuction-Workflow veranschaulicht.
متن کامل